Functional design - PDFSEARCH.IO - Document Search Engine

Functional design
Results: 612

#	Item
131	PROPERTIES OF THE GITTINS INDEX WITH APPLICATION TO OPTIMAL SCHEDULING Samuli Aalto1, Urtzi Ayesta2,3, Rhonda Righter4 1 Aalto University School of Science and Technology, Finland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:05:35 Functional analysis Functions and mappings Decision theory Design of experiments Gittins index Monotonic function Function Probability density function Continuous function Mathematical analysis Mathematics Calculus
132	Structure based design of novel, single-digit nM benzotriazine Src inhibitors Andrew McPherson1, Kathy Barrett1, Jianguo Cao1, Rick Fine2, Colleen Gritzen1, John Hood1, Jason Kang2, Chi Ching Mak1, Glenn Noronha1, Ved P. Add to Reading List Source URL: www.biopredict.com Language: English - Date: 2006-11-28 17:36:52 Stimulants Functional group Organic chemistry Amine
133	6. CORRIDOR DESIGN STUDIES With the information from the research, analysis, and findings discussed in Chapters 2 through 5 of this report (ATM state of the practice, functional classification considerations, traffic ana Add to Reading List Source URL: bluemontroads.files.wordpress.com Language: English - Date: 2012-02-19 10:59:56 Traffic law Road safety Transportation planning Types of roads Segregated cycle facilities Traffic Roundabout Walkability Level of service Transport Land transport Road transport
134	STAND IN RELEASES PHOTOSHOP-BASED DESIGN ENVIRONMENT TO ENHANCE REALTIME IOS APP PROTOTYPE DESIGN ! New software enables designers to create functional mobile application prototypes without leaving Photoshop! ! Add to Reading List Source URL: standin.io Language: English - Date: 2014-09-02 12:52:14 Raster graphics editors Graphic design Adobe Photoshop Adobe Systems Mobile application development Prototype Adobe ImageReady Software Graphics software Computing
135	Hackademia: Building Functional Rather Than Accredited Engineers Beth Kolko, Alexis Hope, Brook Sattler, Kate MacCorkle, Behzod Sirjani Dept. of Human Centered Design & Engineering University of Washington, Seattle, WA, Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Critical pedagogy Philosophy of education Alternative education Project-based learning Experiential education E-learning Participatory design Student-centred learning 21st Century Skills Education Educational psychology Pedagogy
136	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic
137	PUBLIC OPEN HOUSE INVITATION Functional Design Study and Public Consultation for Marion Street Widening and Grade Separation The City is conducting a functional design study and public consultation program for improvemen Add to Reading List Source URL: winnipeg.ca Language: French - Date: 2015-04-13 15:06:47
138	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
139	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
140	500 Prints on Clay Juror: Paul Andrew Wandless Lark Crafts seeks images to publish in a juried collection of prints on clay works. Pieces may be functional or purely decorative in nature. We can accept only high-quality Add to Reading List Source URL: www.larkcrafts.com Language: English - Date: 2011-04-20 10:09:25 Computing Software Graphic design Color space Computer file formats Raw image format RGB color model Royalties Stencil Visual arts Printing Graphics file formats

UPDATE